ACM SIGACT - PDFSEARCH.IO - Document Search Engine

ACM SIGACT
Results: 168

#	Item
11	SIGACCESS Annual Report JulyJune 2013 Submitted by: Andrew Sears, Chair SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s conference Add to Reading List Source URL: www.acm.org Language: English - Date: 2013-10-11 11:30:28 Computer science Computing Theoretical computer science Science and technology Edsger W. Dijkstra Fellows of the British Computer Society ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures ACM-W Symposium on Principles of Distributed Computing
12	Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 15:51:54 Theoretical computer science Symposium on Principles of Programming Languages SIGPLAN ACM SIGACT Gradual typing Lambda calculus
13	JOAN FEIGENBAUM MAILING ADDRESS STREET ADDRESS Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2016-08-02 15:08:03 Association for Computing Machinery ACM SIGACT Symposium on Discrete Algorithms Fellows of the American Association for the Advancement of Science Annie Antn
14	Research and Teaching Statement Dahlia Malkhi, PhD +Last updated: December 29, 2014 Add to Reading List Source URL: dahliamalkhi.files.wordpress.com Language: English - Date: 2014-12-30 13:27:26 Fault-tolerant computer systems Distributed algorithms Distributed computing Inter-process communication Process theory Virtual synchrony Paxos ACM SIGACT Symposium on Principles of Distributed Computing International Systems and Storage Conference International Symposium on Distributed Computing Byzantine fault tolerance
15	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2016-04-27 03:06:22 Symposium on Principles of Programming Languages Programming Language Design and Implementation ACM SIGACT ACM Transactions on Programming Languages and Systems Symposium on Logic in Computer Science SIGPLAN
16	Contact: Virginia Gold Add to Reading List Source URL: fellows.acm.org Language: English - Date: 2015-04-13 16:14:36 Association for Computing Machinery ACM SIGACT Allen Newell Computer science ACM Eugene L. Lawler Award Paris Kanellakis Award SIGAI Turing Award
17	SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere Add to Reading List Source URL: www.acm.org Language: English - Date: 2014-11-11 12:51:19 Theoretical computer science Edsger W. Dijkstra ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Symposium on Computational Geometry ACM-W International Colloquium on Automata Languages and Programming Gdel Prize Symposium on Foundations of Computer Science
18	ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS Add to Reading List Source URL: www.cse.iitd.ernet.in Language: English - Date: 2016-03-26 00:11:24 Theoretical computer science Association for Computing Machinery ACM SIGACT Computer science International Conference on Functional Programming Computational geometry Computational intelligence Computational learning theory International Symposium on Symbolic and Algebraic Computation Algorithmica Draft:Chittoor V. Ramamoorthy Vasant Honavar
19	Professorships \| Professor Roger Wattenhofer, Distributed Computing Group Prof. Roger Wattenhofer Distributed Computing Curriculum Vitae Prof. Roger P. Wattenhofer Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:33:40 Concurrent computing Computing Distributed computing Edsger W. Dijkstra Roger Wattenhofer Symposium on Principles of Distributed Computing Dijkstra Prize ACM SIGACT Theoretical computer science Friedemann Mattern Nir Shavit Peer-to-peer
20	Organizers     Add to Reading List Source URL: www.eurorvvv.org Language: English - Date: 2015-11-10 16:28:43 Symposium on Principles of Programming Languages Symposium on Principles and Practice of Parallel Programming SIGPLAN SIGMOD Programming Language Design and Implementation ACM SIGACT